/*
 * Top.h
 *
 *  Created on: Apr 29, 2012
 *      Author: kobe
 */

#ifndef TOP_H_
#define TOP_H_

#include "Proposition.h"
#include <string>

class Top: public Proposition {
public:
	Top(std::string);
	virtual ~Top();
	std::string toString();
	std::string toLatex();
	bool compare(Proposition* );
};

#endif /* TOP_H_ */
